| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 505292 | ||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 501638 | ||
| Foundations of Functional Programming | Fach-/Modulprüfung | 6 | 503629 | ||
| Übung | 507758 | Di 09:30-12:00 AH VI (2356|051) (×1) Do 10:00-13:00 AH II (2350|111) (×1) Fr 14:30-16:00 AH IV (2354|030) (×1) Fr 14:30-16:00 AH V (2356|050) (×10) | |||
| Vorlesung | 507759 | Mo 16:30-18:00 AH V (2356|050) (×10) Fr 10:30-12:00 AH V (2356|050) (×10) Fr 14:30-16:00 AH V (2356|050) (×1) | |||
| Foundations of Logic Programming | Fach-/Modulprüfung | 6 | 504847 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 504841 |